Structural Invariants of Two-dimensional Systems
نویسندگان
چکیده
منابع مشابه
Structural Invariants
We present structural invariants (SI), a new technique for incrementally overapproximating the verification condition of a program in static single assignment form by making a linear pass over the dominator tree of the program. The 1-level SI at a program location is the conjunction of all dominating program statements viewed as constraints. For any k, we define a k-level SI by recursively stre...
متن کاملComparative Visualization of Two-Dimensional Flow Data Using Moment Invariants
The analysis of time-dependent data is often guided by the question of how dominant structures develop over time. It is important to understand how patterns or structures identified for one time step evolve over time, by changing or moving in the domain. To gain insight into such evolving structural change it is crucial to effectively compare different time steps. This paper proposes a comparis...
متن کاملRotation invariants of two dimensional curves based on iterated integrals
We introduce a novel class of rotation invariants of two dimensional curves based on iterated integrals. The invariants we present are in some sense complete and we describe an algorithm to calculate them, giving explicit computations up to order six. We present an application to online (stroke-trajectory based) character recognition. This seems to be the first time in the literature that the u...
متن کاملComparative Visualization of Two-Dimensional Flow Data Using Moment Invariants
The analysis of time-dependent data is often guided by the question of how dominant structures develop over time. It is important to understand how patterns or structures identified for one time step evolve over time, by changing or moving in the domain. To gain insight into such evolving structural change it is crucial to effectively compare different time steps. This paper proposes a comparis...
متن کاملComputation of structural invariants of generalized state-space systems
In this paper, we develop an algorithm for computing the zeros of a generalized state space model described by the matrix 5-tuple (E; A;B;C;D), where E may be a singular matrix but det(A ? E) 6 = 0. The characterization of these zeros is based on the system matrix of the corresponding 5-tuple. Both the characterization and the computational algorithm are extensions of equivalent results for sta...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: SIAM Journal on Control and Optimization
سال: 2012
ISSN: 0363-0129,1095-7138
DOI: 10.1137/100815153